Applicability of Algebraic Transductions to Data-Flow Analysis
نویسنده
چکیده
Parallelization of recursive programs is still an open problem today, lacking suitable and precise static analyses. This article presents a novel data ow analysis framework based on push-down (a.k.a. algebraic) transducers. This technique achieves a global and precise description of the data ow and discovers important semantic properties of the programs. Future fruitful research, at the crossroad of program analysis and formal language theory, is also hinted to.
منابع مشابه
Three Dimensional Analysis of Flow Past a Solid-Sphere at Low Reynolds Numbers with the Aid of Body Fitted Coordinates
In this paper, the flow-field of an incompressible viscous flow past a solid-sphere at low Reynolds numbers (up to 270) is investigated numerically. In order to extend the capabilities of the finite volume method, the boundary (body) fitted coordinates (BFC) method is used. Transformation of the partial differential equations to algebraic relations is based on the finite-volume method with coll...
متن کاملThree Dimensional Analysis of Flow Past a Solid-Sphere at Low Reynolds Numbers with the Aid of Body Fitted Coordinates
In this paper, the flow-field of an incompressible viscous flow past a solid-sphere at low Reynolds numbers (up to 270) is investigated numerically. In order to extend the capabilities of the finite volume method, the boundary (body) fitted coordinates (BFC) method is used. Transformation of the partial differential equations to algebraic relations is based on the finite-volume method with coll...
متن کاملA Composite Finite Difference Scheme for Subsonic Transonic Flows (RESEARCH NOTE).
This paper presents a simple and computationally-efficient algorithm for solving steady two-dimensional subsonic and transonic compressible flow over an airfoil. This work uses an interactive viscous-inviscid solution by incorporating the viscous effects in a thin shear-layer. Boundary-layer approximation reduces the Navier-Stokes equations to a parabolic set of coupled, non-linear partial diff...
متن کاملWater Flooding Performance Evaluation Using Percolation Theory
Water flooding is a well-known secondary mechanism for improving oil recovery. Conventional approach to evaluate the performance of a water flooding process (e.g. breakthrough and post breakthrough behavior) is to establish a reliable geological reservoir model, upscale it, and then perform flow simulations. To evaluate the uncertainty in the breakthrough time or post breakthrough behavior, thi...
متن کاملConsistent and high rates of gene transfer can be obtained using flow-through transduction over a wide range of retroviral titers.
Flow-through transduction methods have been developed to overcome physical limitations imposed by Brownian motion on retroviral delivery. This method uses net fluid flow of retroviral supernatants through a porous membrane on which the target cells are placed. It is shown that in comparison to static transduction methods, flow-through transductions have the following advantages: (i) flow-throug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998